#import "@preview/ilm:1.4.1": *
#import "@preview/frame-it:1.1.2": *
#import "RoseL_Snippets.typ": *

#set text(lang: "zh")
#set page(paper: "a4")

#show: ilm.with(
  title: [集合论],
  author: "RoseL",
  date: datetime.today(),
  abstract: [#lorem(30)],
  // bibliography: bibliography("refs.bib"),
  figure-index: (enabled: true),
  table-index: (enabled: true),
  listing-index: (enabled: true)
)

= 谓词逻辑
#columns(2, [
#include "0101math_logic.typ"
])

= NBG公理集合论
#columns(2, [
#include "0102NBG_axiom.typ"
])
